Frege's Mathematical Setting
نویسندگان
چکیده
Note: This essay was commissioned and written circa 1997 for The Cambridge Companion to Frege, which has not yet appeared. Although quite a bit of good work on Frege and Dedekind’s mathematical antecedents has since appeared (by Jeremy Avigad, Jamie Tappenden and others), I think this essay still provides the student with a useful introduction to many of the central issues. I have since refined my own conception of Frege’s originally intended procedures, which I have also posted on this site as “Ghost World: A Context for Frege’s Context Principle.”
منابع مشابه
Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint
We now know of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimics Dedekind in identifying the reals with cuts in the series of rationals under their natural order. The result is an essentially structuralist conception of the reals. An earlier approach, developed by Hale in ...
متن کاملFrege's Theorem in A Constructive Setting
By Frege's Theorem is meant the result, implicit in Frege's Grundlagen, that, for any set E, if there exists a map ν from the power set of E to E satisfying the condition ∀XY[ ν(X) = ν(Y) ⇔ X ≈ Y] , then E has a subset which is the domain of a model of Peano's axioms for the natural numbers. (This result is proved explicitly, using classical reasoning, in section 3 of [1].) My purpose in this n...
متن کاملFrege and Hilbert on Consistency1
Frege's work in logic and the foundations of mathematics centers on claims of logical entailment; most important amongst these is the claim that arithmetical truths are entailed by purely logical principles. Occupying a less central but nonetheless important role in Frege's work are claims about failures of entailment. Here the clearest examples are his theses that the truths of geometry are no...
متن کاملRealism bei Frege: Reply to Burge
Frege is celebrated as an arch-Platonist and an arch-realist. He is renowned for claiming that truths of arithmetic are eternally true and independent of us, our judgments and our thought; that there is a ‘third realm’ containing nonphysical objects that are not ideas. Until recently, there were few attempts to explicate these renowned claims, for most philosophers thought the clarity of Frege’...
متن کاملTerence Parsons What Do Quotation Marks Name? Frege's Theories of Quotations and That-clauses
This paper explores Frege's views of quotations and that-clauses. In Section II his view is stated in a rough way; it leaves several questions open. In Section III the view that quotation-mark pairs are functional names (in Frege's sense) is explored, and in Section IV the contrary view is discussed. Both views are consistent with Frege's articulated theory. In Section IV the question is raised...
متن کامل